週次 |
日期 |
單元主題 |
第1週 |
3/02 |
00. Class Intro
01. Intro to Design Verification
|
第2週 |
3/09 |
01. Intro to Design Verification |
第3週 |
3/16 |
02. Formal Modeling and Formal Property Specification |
第4週 |
3/23 |
03. Introduction to BDD |
第5週 |
3/30 |
04. Advanced BDD Techniques |
第6週 |
3/31 |
05. BDD-Based Verification |
第7週 |
4/13 |
06. Introduction to Boolean Satisfiability |
第8週 |
4/20 |
07. Advanced SAT Techniques |
第9週 |
4/27 |
08. Bounded Model Checking |
第10週 |
5/04 |
09. Unbounded Model Checking |
第11週 |
5/11 |
10. Property Directed Reachability |
第12週 |
5/18 |
10. Property Directed Reachability |
第13週 |
5/25 |
11. SAT-Assisted Synthesis |
第14週 |
6/01 |
11. SAT-Assisted Synthesis |
第15週 |
6/08 |
12. From SAT to Optimization |
第16週 |
6/15 |
13. Advanced Formal Verification Topics |
第17週 |
6/22 |
14. System-Level Design and Verification |